Міністерство освіти і науки України Національний університет “Львівська політехніка” Кафедра автоматики і телемеханіки ЗВІТ про виконання лабораторної роботи №4 з курсу “Обчислювальна техніка” “Вивчення основних принципів роботи в середовищі схемного редактора САПР ПЛІС Xilinx Foundation Series” Варіант №14 Мета роботи: вивчення методів аналізу і синтезу скінченних автоматів. Завдання: 1. Ознайомитися з основними відомостями.2.Визначити свій варіант таблиць переходів і виводів автомата.3. На основі отриманих таблиць переходів і виводів та заданих типів елементарних автоматів, синтезувати схему скінченного автомата. 



  



 




 




 




 




 




 




  Знаходимо рівняння логічних функцій виходів автомата і рівнянь логічних функцій збудження елементів пам’яті автомата.












 



0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 * * * * 1 0 1 * 0 * * 0 * 1 1 0 0 0 0 0 0 0  



0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 * * * * 1 1 1 * 0 * * 0 * 0 0 0 0 1 1 0 0 0  



1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 * * * * 0 0 0 * 1 * * 0 * 1 0 0 1 1 0 1 0 0  - - - - 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *   Таблиця 6  Вхідні сигнали Код вхідних сигналів   

 


0 0 1 0 1 0   Таблиця 7  Вихідні сигнали Код вихідних сигналів   

 


 0 1 1  1 0 1   Таблиця 8  Стани автомата Код станів   

 



0 0 1 1 0 1 0 1   Після заповнення таблиці істинності переходимо до мінімізації отриманих логічних функцій. Таких функцій в нашому прикладі п’ять:
- функція збудження першого елемента пам’яті;
,
- функції збудження другого елемента пам’яті;
- функція першої структурної вихідної змінної,
- функція другої структурної вихідної змінної. Всі ці логічні функції залежать від чотирьох логічних змінних:
,
,
,
. Для мінімізації скористаємося методом карт Карно - складаємо п’ять карт Карно для функцій чотирьох змінних.





Після мінімізації отримаємо:
Схема
Результат
Висновок: вивчив методи аналізу і синтезу скінченних автоматів. Проконтролював правильність функціонування автомату за допомогою моделювальника САПР, визначивши значення вихідних сигналів і наступних станів для всіх наборів значень вхідних змінних і станів автомату.